COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input jmclet[let,jmc]
C00004 ENDMK
C⊗;
\input jmclet[let,jmc]
\jmclet
\address
TO WHOM IT MIGHT CONCERN
\body
Dr. Natarajan Shankar worked at the Computer Science Department of Stanford
University as a post-doctoral Research Associate between November 1986 and
December 1988.  During this period he performed research on the logics and
applicative programs, automated reasoning in classical and constructive
logic, and reflective proof checking.  He has implemented prototypes of
various automated reasoning tools.  He also taught a graduate course on
recursive programming and proving.  His prior graduate work at the University
of Texas at Austin involved the mechanization of substantial mathematical
arguments such as the Church-Rosser theorem of lambda calculus and the
Goedel incompleteness theorem, using the well known Boyer-Moore theorem
proving system.

\closing
Sincerely,
John McCarthy
\endletter
\end